科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:指定异构模型的重叠以进行全局一致性检查
Zinovy Diskin; Yingfei Xiong; Krzysztof Czarnecki;
机译:从异构源构建本体的语义一致性检查
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:指定异构模型的重叠,以实现全局一致性检查
机译:分布式模型的合并和一致性检查。
机译:使用特质模型评估全球自尊从青春期到成年期的纵向一致性
机译:使用TRemer进行分布式模型的全局一致性检查
机译:使用应用程序平台工具进行对象模型的生命周期管理和一致性检查
机译:使用应用平台工具的对象模型的生命周期管理和一致性检查
机译:Web应用程序的配置建模和一致性检查的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。